\chapter{Приложение: Структура исходных кодов}

% ------------------------------------------------------------------------
Исходные коды всего проекта находятся в svn-репозитории google code — \\
http://code.google.com/p/mostcommontype/. 
\begin{enumerate}
\item ParseExpression - содержит строковую подсистему вводы для системы редукции
\item Reduction - содержит систему редукции
\item TITypes - содержит объявления типов и строковую подсистему вывода(instance Show)
\item TIParser - содержит строковую подсистему вводы для алгоритма Хинди-Миллера
\item TIChecker - содержит функции и предикат, которые служат для реализации алгоритма Хинди-Миллера
\item TypeInference - содержит основную функцию для реализации алгоритма Хинди-Миллера
\end{enumerate}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../thesis"
%%% End: 
